981. Verification techniques for system-level design /
پدیدآورنده : Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
F95
2008eb
982. Verified software :
پدیدآورنده : Ruzica Piskac, Philipp Rümmer (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
983. Video coding standards :AVS China, H.264/MPEG-4 PART 10, HEVC, VP6, DIRAC and VC-1
پدیدآورنده : Rao, K. R., K.R. Rao, Do Nyeon Kim, Jae Jeong Hwang
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Standards ، Digital video,، Physics,، Physics, general,، Communications Engineering, Networks,، Coding and Information Theory,، Computer Science, general
رده :
TK6680
.
5
984. Vision Chips
پدیدآورنده : by Alireza Moini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer engineering.,Computer science.,Computer vision.
985. Visual Basic for Testers
پدیدآورنده : by Mary Romero Sweeney.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
986. Visual content indexing and retrieval with psycho-visual models
پدیدآورنده : Benois-Pineau, Jenny
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Pattern recognition systems,، Content-based image retrieval,، COMPUTERS / General
رده :
TA
1637
.
V65
2017
987. Visualization in Scientific Computing
پدیدآورنده : edited by Michel Grave, Yvon Lous, W. Terry Hewitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
T385
.
E358
1994
988. Visualization of fields and applications in engineering
پدیدآورنده : / Stephen Tou
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Engineering mathematics,Fluid dynamics, Mathematics,Electromagnetic fields, Mathematical models,Gravitational waves, Mathematical models,Information visualization,TECHNOLOGY & ENGINEERING / Imaging Systems, bisacsh
رده :
TA330
.
T68
2011
989. Water science and technology :
پدیدآورنده : Nicholas Gray.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Aquatic biology.,Sewage-- Purification.,Water-- Pollution.,Water-- Purification.,Water-supply.,Aquatic biology.,Sewage-- Purification.,TECHNOLOGY & ENGINEERING-- Environmental-- General.,Water-- Pollution.,Water-- Purification.,Water-supply.
رده :
TD346
*
990. Wearable sensors in sport :
پدیدآورنده : James Lee, Keane Wheeler and Daniel A. James.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Detectors.,Wearable computers.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Detectors.,Wearable computers.
رده :
QA76
.
592
991. Web Information Systems Engineering \U+2013\ WISE 2013
پدیدآورنده : edited by Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computers.,Data mining.,Software engineering.
992. Web Information Systems Engineering \U+2013\ WISE 2013
پدیدآورنده : edited by Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computers.,Data mining.,Software engineering.
993. Weber's Electrodynamics
پدیدآورنده : by André Koch Torres Assis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Mathematics.,Physics.
994. Whistler Phenomena
پدیدآورنده : edited by Csaba Ferencz, Orsolya E. Ferencz, Dániel Hamar, János Lichtenberger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Engineering.,Hydraulic engineering.
995. Wideband low noise amplifiers exploiting thermal noise cancellation /
پدیدآورنده : by Federico Bruccoleri, Eric A.M. Klumperink and Bram Nauta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Broadband amplifiers.,Electronic noise-- Prevention.,Broadband amplifiers.,Broadband amplifiers.,Electronic noise-- Prevention.,Ingénierie.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7871
.
58
.
B74
B78
2005eb
996. Wireless CMOS Frequency Synthesizer Design
پدیدآورنده : by J. Craninckx, M. Steyaert.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Computer-aided design.,Engineering.
997. Wireless ad hoc and sensor networks :
پدیدآورنده : Jing (Selena) He, Shouling Ji, Yi Pan, Yingshu Li
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Ad hoc networks (Computer networks),Wireless sensor networks
رده :
TK7872
.
D48
H44
2014
998. Workflow and Process Automation
پدیدآورنده : by Andrzej Cichocki, Abdelsalam Helal, Marek Rusinkiewicz, Darrell Woelk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Management information systems.,Text processing (Computer science.
999. World Internet development report 2017 /
پدیدآورنده : Chinese Academy of Cyberspace Studies, editor ; translated by Peng Ping.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer security.,Internet governance.,Communications engineering / telecommunications.,Computer security.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.,Engineering: general.,History of engineering & technology.,Imaging systems & technology.,Information retrieval.,Internet governance.
رده :
TK5105
.
875
.
I57
W67
2017eb
1000. Writing Perl Modules for CPAN
پدیدآورنده : by Sam Tregar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
